Skip to content

Conversation

jonathanpwang
Copy link
Contributor

@jonathanpwang jonathanpwang commented Oct 7, 2025

Adds AsyncAppProver which executes metered serially and then re-executes while spawning prover tasks for each continuation segment. The prover tasks use a semaphore to limit the max concurrency.

Note this PR includes the fix #2155

This comment has been minimized.

This comment has been minimized.

This comment has been minimized.

This comment has been minimized.

This comment has been minimized.

This comment has been minimized.

This comment has been minimized.

This comment has been minimized.

This comment has been minimized.

This comment has been minimized.

Copy link

group app.proof_time_ms app.cycles app.cells_used leaf.proof_time_ms leaf.cycles leaf.cells_used
verify_fibair 241 322,610 2,058,654 - - -
fibonacci 1,001 1,500,209 2,100,402 - - -
regex 2,393 4,137,372 17,759,394 - - -
ecrecover 707 122,859 2,263,820 - - -
pairing 1,431 1,745,742 25,468,210 - - -

Commit: 9049f9c

Benchmark Workflow

@jonathanpwang jonathanpwang marked this pull request as ready for review October 10, 2025 14:52
@jonathanpwang jonathanpwang merged commit 1018e6b into chore/backend-1.2.1-rc.4 Oct 10, 2025
46 of 47 checks passed
@jonathanpwang jonathanpwang deleted the feat/async-continuation-prover branch October 10, 2025 14:52
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

2 participants